Rename files in German documentation