Die Felsenmiihle , ouverture.