Loads of work done. (Updated de_DE.lang)

Yes, "Minierer" is a German word.