"Ein Sommernachtstraum" in der Oper Halle