The Dutch term "ingreep" matches the English term "operation"