Marinens högste befälhafvare amiralen Petersen har,