Statistical pocket book of the German Democratic Republic.