GDR Press Praises Warsaw Pact Intervention