Dutch translations from Pascal