gekommen. Zudem habe die nachträgliche Erstellung des Protokolls ermöglicht, allfällige
Ergänzungen oder Änderungen anzubringen. Die Beschwerdeführenden hätten aber von
diesem Recht keinen Gebrauch gemacht.