en tysk båt , som hette ” Ehrenfells ”.