The Dutch term "Mefistofeles" matches the English term "Mephistopheles"