Eredeti német neve Jobst Koch volt.