marinminister har utnämnts general Stosch.