Im Jahr [[1813]] wurde dkK. bzw. k.u.k. Infanteriekaserne genutzt. Seit dem Ende des [[Erster Weltkrieg|Ersten Weltkriegs]] wurde das Gebäude vor dem [[Klausentor]] nicht mehr als Kaserne genutzt. Es ist aber heute vielfach unter dem alten Namen bekannt. | Im Jahr [[1813]] wurde dkK. bzw. k.u.k. Infanteriekaserne genutzt. Seit dem Ende des [[Erster Weltkrieg|Ersten Weltkriegs]] wurde das Gebäude vor dem [[Klausentor]] nicht mehr als Kaserne genutzt. Es ist aber heute vielfach unter dem alten Namen bekannt. |