In anderen Worten: Was kann/sollte ich als user tun um eine Fehlerbehebung anzuschieben ohne die Leute unnötig zu nerven?
Laß Dir erst mal für "ohne die Leute unnötig zu nerven" danken
Die DiViBib hat keine öffentliche Ankündigung gemacht, aber es ist unserer Erfahrung nach ein Bereitschaftsdienst vorhanden. Wenn es Probleme gibt, merken die Menschen das recht fix. Entweder, weil sie Alarme am Start haben, weil sie hier mitlesen oder weil sie Fehlermeldungen bekommen. Für letzteres gibt es auch kein veröffentlichtes Procedere (insbesondere keine Notfall-Adresse für die Wochenenden), aber eine direkte Mail an den Support Deiner Onleihe hilft meistens. Am Wochenende laufen die Fehlermeldungen auch hier auf und irgendjemand liest meistens mit, der entweder für die DiViBib arbeitet oder eine Telefonnummer hat oder was auch immer.
Edit: Oh, da war ich aber eine lahme Ente