Top five companies by hiring activity in the German mining industry in Q1 2024 (new job postings)