Listened to lots more music, but saved the three operas for last - am now listening to Rusalk by Dvorak. Prior to that it was Hanns Eisler's Deutsche Symphony, which I didn't love but must give it another listen, and a Viktor Ullmann one-act opera, that I also need to hear another couple of times - that one's very short, though.