Hallas is a surname.
Source: Wikipedia — Hallas (CC BY-SA 4.0)
Source: Wikipedia "Hallas" · CC BY-SA 4.0