Dictionary of Medieval Names
from European Sources

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

Michael