Funktionen auf Sperren
Sperre.Sperre_Gueltigkeit→Datum
Resultat: Die Funktion Sperre_Gueltigkeit liefert das Datum, bis zu dem die Sperre gültig ist.
Sperre.Sperre_Typ→SperreTyp
Resultat: Die Funktion Sperre_Typ liefert den Typ der Sperre ("hart" oder "weich").