grote hof = groot machien