Hirschhorn Kocher namens HIRSO,