stensättare och hette Henri Hauffmann.