Title: Die Korrektheit einer Implementation der Modulpräfigierung mit reiner Static-scope-Semantik