generalmajoren N . C . Irgens.