Jó szerencsét! Tények, érdekességek a pécsi bányászatról