krigsminister : generalintendenten frih.