I stand corrected, I had skipped the "Europe/Paris" and "Europe/Madrid" options that are present in the long listbox. I had assumed that someone from Paris would be confused by having to select the timezone "Africa/Ceuta".