numera aflidne , norske krigsministern , fortifikations-generalen Irgens.