With the dust almost settled on the 1.5 billion dollars in revenue from “Top Gun: Maverick,” perhaps there is air enough left in the room to appreciate another fine film on a similar topic but from another age. The climax of Henry King’s “Twelve O’Clock High” is a daring raid by American bombers on a heavily defended ball bearing factory deep inside of Germany during World War II.