tider varit bearbetadt ; man antager , att det var kändt redan på 1300-talet.