Did you know that the lyrics of Kong Kristian stod ved højen mast , the royal anthem of Denmark , first appeared in an 18th-century vaudeville play by Johannes Ewald ?