Was bedeutet „Reichenhall“?

„Mein Opa sagt, der Name bedeutet reich an Hall und Hall bedeutet Salz.“ (Laura, 10 Jahre)