The mermaid's prophecy, and other songs relating to Queen Dagmar