Den Matematiska institutionens instrumenterhafva