Leiden, Zuid-Holland, Netherlands
São José dos Campos, São Paulo, Brazil
Seattle, WA, USA
Seoul, Seoul, Korea (Republic of)
Esslingen, Baden-Württemberg, Germany
Dublin, County Dublin, Ireland
Singapore, Singapore
Amsterdam, Noord-Holland, Netherlands
Beijing, Beijing, China
Haarlem, Noord-Holland, Netherlands
Chicago, IL, USA
The Hague, Zuid-Holland, Netherlands