Germany marks 80th anniversary of Buchenwald liberation