Title: Polytechnical education in the German Democratic Republic