Not everything was bad in the GDR