Filtering for trait who discovered equal Karl Ernst Claus in 1844