Seol mar théacs é seo: Die Regimentstochter (La fille du régiment)