Der Push-Dienstleister, für den ein Token registriert werden soll.