a) provozní důlní mapa,