och hans namn var då herr Martens.