någre officerare af garnisonen i Mainz slagit sig ner.