In the former DDR (East Germany)