The Dutch term "gerechtsgebouw" matches the English term "tribunal"