The German term "Restauration" matches the English term "restaurant"