Just saw this - should we be consistent about `Ordner` vs `Verzeichnis`? I'd prefer `Ordner`.