Erfolgsmaschine „Elefantino“ wird erstmalig im europäischen Steinkohlenbergbau eingesetzt.