Pipe organ introduction: There is the world's largest pipe organ in the church, with 4842 pipes.