The Bitter Tears of Petra von Kant — opera by Gerald Barry