Prozeduren zum Extrahieren von Constraint-Beweis

 1. Zahlung der Registrierungsgebühr in der Kasse.
2. Ordentliche Stempel Klasse (70) Penny.