Master 1712

fixes serialization of RecordStatistics