Title: Royal gala auction for the benefit of the Royal opera house development appeal ... (held on) 1st October 1980 at ... the Royal opera house, Covent garden