Text this: Admiralty jurisdiction in Namibia since 1920