Renaming some german files to their enhlish counterparts

dokumente.php → documents.php
einstellungen.php → settings.php