Friedrich Anton Richters goda gamla namn återstod oss ännu.