german mining equipment and their prices