Enligt en hamburgerdepesch skulle “ Oster.