Translation of "Registry hall" in German