militärisk hög- eller polyteknisk skola , hvarest då de.