och politikern Gervinus bar denis dennes aflidit i Heidelberg.