For details see https://www.klayout.de/forum/discussion/2405/wrong-way-width-is-incorrect-in-def2gds-conversion