The successful "Elefantino" machine is used in European coal mining for the first time.