Borrhålens djup i våra grufvor görasi