Historical name Current Names Current name Petroleum Records Library / Place of Edition Title Source title Year Van de Toets Steen 1768