militaerische operationsgebiet Synonym