Die Korrektheit einer Implementation der Modulpräfigierung mit reiner Static-scope-Semantik | lit.salon