militaerische einrichtungen Synonym