13. Deutscher Bergmanns-, Hütten- und Knappentag