Pausen
Die verwendeten Funktionen "Pause starten" und "Pause beenden"
sind
hier
beschrieben. Sobald eine Pause gestartet wird, werden alle Buttons außer "Pause beenden" für den Bediener inaktiv geschaltet