Nicht initialisierte val-Felder in impliziten Konstruktionstypen müssen änderbar sein und mit dem ]-Attribut versehen werden. ...