The English term "hall" matches the German term "Halle"