West End musical 42nd Street has been filmed for a future cinematic release. The Stage understands the production was filmed on November
