generalintendenten , generalmajoren J.