detta nedläggande af grufdriften voro de i Tyskland vid dentiden