Giacomo Puccini: Tosca - pocket, Engelska, 1985