Die wundersame Schustersfrau — opera by Udo Zimmermann