[919] Der Hallbursch, des -en, plur. die -e, ein gemeiner Salzarbeiter in den Salzwerken, S. Halle 4) und Hallor.