Speyer cathedral: cathedral church. Papal basilica (Schnell and Stein, 1973)