El topónimo "Ingoldeshaha" se menciona en una carta imperial de 967 firmada por el emperador Otón II.