König Stephan, Op. 117: Chorus (unspecified)