Das Johannisfest erinnert an die Bergbautradition von Jihlava