céhhel (Hungarian) comes from Hungarian céh, from German zeche, from Middle High German Zeche — mine.