Where was Tom Thumb filmed?

1958 film by George Pal

Tom Thumb (1958) was filmed in London, Los Angeles, Hollywood, Eindhoven, Borehamwood and Elstree, 6 places named in its Wikipedia article, in the United States, the United Kingdom, the Netherlands. Wikidata records no filming location for it at all, so the article is the only recorded source. Each place says where its claim comes from.

See them on the map → Wikipedia Source data