Old High German
It is derived from the Old High German name , recorded since the 7th century.