Skip to content

Rename files

The filenames are now in German and contain spaces which is inconvenient for scripts. I propose to switch to English and without any spaces.

Since the project contains lots of files that are all linked, this may not be that easy.