arbeten af Holck ( 1777 ) , Hauber ( 1783 ),