marinministern m . fl.