type
        TData = ^TDataSet;

        TDataSet = record
           name, sirname, dateOfBirth: string[20];
           ToNext: TData;
        end;


Erklärung:
type legt fest, dass hier ein neuer Variablentyp (vgl. integer, string, etc) angelegt wird?
Der Variablentyp TData ist immer ein Pointer auf eine Variable/Klasse/Struct(?) des Typs TDataSet
Der Variablentyp TDataSet ist ein record (Klasse/Struct?), d.h. er enthält mehrere Einzelvariablen
.. nämlich diese Strings
.. und einen Pointer auf den nächsten Datensatz
Ende der Definition (Deklaration?) von TDataSet