Songs, duets, trios, &c. in the comic opera of The castle of Andalusia