Un trésor est-il caché dans un rocher de Nonnenbourg ?