@Lilaclavenders
Halle? That's the German word for hall...
And Pippa is the Spanish word for cigar, or sunflower seed, yet a perfectly normal English name that people still use.
Halle the name and Halle the German word have different pronunciations anyway.