The
Humboldt-Merger (HumMer) has moved
to the Hasso-Plattner-Institute at Potsdam.