Fidelio, Op. 72/b: Ouverture