skulle Andreas Hallens opera " Harald der Wiking " uppföras i Leipzig.