zivile Umnutzungen von Militärgebäuden