nämnes generalmajoren v. Arentschildt.