Wie viele Urlaubstage in der DDR?