Ja, mir war nur gruselig, dass ich in der Hilfe zu dumm war, überhaupt etwas zum Ausdruck "Default" zu finden und auch keinen
RTL-Code. Dass der alle Record-Felder so initialisiert, wie sie es bsp. in einer Klasse wären war mir schon klar. Nur vielleicht ließe sich das auch manuell noch für einen eigenen Record-Typen anpassen? Man weiß ja nie
