Text this: Verwaltungsrechtsschutz in der DDR.