A vector map of the infrastructure of the Creative Mine in Arenberg