důl Jan Maria, Hranečník