( 1883 ) f : Köcher.