Historical name Current Names Current name Dutch Pink Records Library / Place of Edition Title Source title Year Part 1: chapter 2: section iv: class III 1758 Part 1: chapter 4: section i 1758