Dictionary of Medieval Names
from European Sources

Michl m. (nom) Early New High German. Hall in Tirol, Austria . 1366. ChronSH p. 25

Michael