How long is the shortest opera, Darius Milhaudā€™s The Deliverance of Theseus?

The correct answer is "7 minutes"