Vladimir Straskraba's Contribution to the Mine Water Literature