Heinrich Hoffmann (officier de marine)