Das kleine Bergbaulexikon (Verl. Glückauf, 1988)