En lärd i Hamburg , Läders,