general directorate of military industries - German English Dictionary