correct definition of GetRecords Record