Title: General features of the German coal mining industry