De functie ToJSON verder aangevuld en de functie fromTRex.