Las minas fueron convertidas en un cementerio común a finales del siglo XVIII.