Demolition of military buildings in Mainz, around 1919