Former GDR shelter