The micromineralogical collection of the Mining and Geological Survey of Hungary