Baugeschichte der Martinskaserne in Eisenstadt - Paul, Hans (1985)