Danke.
Danke Thomas.Entgegen der verlinkten Beschreibung funktioniert das nicht nur mobil sondern auch auf Desktop-Rechnern.
Voraussetzung ist ein moderner Browser, der die PushAPI unterstützt. Vorteil: man muß die Seite nicht
einmal auf haben, um Benachrichtigungen zu empfangen, lediglich der Browser muß laufen.