The Dutch term "gasthuis" matches the English term "hospital"