The “heavenly harmonies” of Gothic cathedrals