nostr:npub1276r74yjdughqx9rgtwtcsdw8quetk6tam89jn07qg2zsk0un64qzfuhkv was für Push Dienste außer Google gibt es für iOS und Android? Viele Argumentieren damit das Google der einzige wäre der zuverlässige Ergebnisse liefert.