v. Dockum , dansk amiral ; A.