/* Gemeinsames Sammelobjekt fuer Laufzeit-Statistiken.

Lag frueher in readin/readdata.js. Liegt hier, damit auch die gemeinsam
genutzten Module darauf schreiben koennen, ohne readin kennen zu muessen.
*/

export const statistics = {}