Hr Andreas Halléns opera »Harald