Habs jetzt (hoffentlich) verstanden (hat auch lange genug gedauert
)! Das Gesuchte fand sich unter ListBegin/End und Stream.Size (hatte andauernd beim Writer nach etwas derartigem gesucht). Werde dann morgen versuchen, das ursprüngliche Record samt Array zu speichern.