import("libm3")
import("libinf1")

implementation("Datei")
program("Datei")