PushVerifiers

Prüfer der Karte des Dokuments (seit 1.62.0): Benutzer nach E-Mail und Gruppen nach Name oder Schlüssel. Die Listen ersetzen die bisherigen Prüfer der Karte; leere Listen entfernen sie. Unbekannte E-Mail-Adressen und Gruppen werden übersprungen.