Преподаватели, сотрудники, выпускники и учащиеся Горного института – участники Великой Отечественной войны