The Dutch term "restauratie" matches the English term "restaurant"