republica democratica alemana