alter deutscher zweigliedriger Name heil = gesund, unversehrt, heil (Althochdeutsch) mari = berühmt, bekannt (Althochdeutsch)