— Humboldt under Berliner-emeuten.