The choir of westminster cathedral