Dictionary of Medieval Names
from European Sources

Martein m. (nom) Early New High German. Hall in Tirol, Austria . 1529. ChronSH p. 12

Martin