Dictionary of Medieval Names
from European Sources

Micheln m. (dat) Early New High German. Gruyère, Switzerland . 1552. MHCG2 322

Michael