"Yom-Tov was his religious given name, Lipmann was his secular given name, one of the traditional Ashkenazic vernacular equivalents for Yom-Tov, while his last name represents a nickname indicating the origin of either him or his ancestors from the town of Mühlhausen, in Thuringia.