Петерсен, Генрих (подводник)