skall användas till militäraanlägg-