The Proms season of Wagner operas — pity they didn’t do them all; Die Meistersinger would have been specially welcome,…