Vad heter kaptenen på ubåten i Jules Vernes roman ”en världsomsegling under havet”?