? הופטמן

איננו יודעים את השם הפרטי. הזיהוי כ"ג. הויפטמן" במקור אחד כנראה שגוי.