Title: Eiler and Helvig: a Danish legend