Mannen var stensättare och hette Henri Haufrmann.