Where did Radiohead record the vocals for "Exit Music (For a Film)"?

The band recorded the vocals in the stone entrance hall of St Catherine’s Court, a mansion they chose to escape the pressure of a traditional studio.