Maschine zum Verifizieren und Markieren