Hendrik was a toolmaker who made files.