Expansion and improvement of the German translation.

## German translation
- added translations
- improvement translation
- Block notifications had the wrong text. I have  created a new de.php on the basis of en.php.
- "Repository" renamed to "Workspace" (again) [Show here](https://pyd.io/f/topic/german-translation/)

## English
In gui.ios fixed the en.php. There, I've renamed the Android Market to Play Store.