The first maths professors at the Bergakademie