Mijnbouwingenieurs, metallurgen e.d.