Quick --- how many musicals can you name that have Nazis in them?