All songs by Mariano Jos de Larra