Fidelio, Op. 72: Overture