Buchenwald (Allemagne, camp de concentration, 1945-1950)