Fidelio, Op. 72, Overture