I didn't know what operation micemeat was, but it's actually quite impressive: https://en.wikipedia.org/wiki/Operation_Mincemeat. It's about a British deception on the Nazis. I am not interested enough by musicals to watch this though.