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