KOCH, Richard Eduard