Title: The songs in the Castle of Andalusia, a comic opera