This page is historical. Follow this link for the current version.
Dictionary of Medieval Names
from European Sources

Michel m. (nom) Early New High German. Germany . 1402. mairhofer DCLXXII

Michael