Andreas Halléns opera »Harald