DDR-Regierungs- Krankenhaus