bergverk , voro i fredlig besittning af Pyreneerna och deras båda sluttningar.