For students in the GDR, the following resources are available: