i alla tyska grufdistrikt.