hade marinministeriet likväl ställt » Guldborgsund ».