Knižnice báňského průmyslu. (Průmyslové vydavatelství)