Library
German: perhaps from rot(er) ‘red’ + the personal name Michael, i.e. a distinguishing nickname for a Michael with red hair.
See the Key to the Dictionary or consult the General Introduction for further explanation.
View more Literature & Language videos