The giant tap-dancing noses scene from shostakovich's The Nose (The Royal Opera House, Covent Garden)