圣约翰大教堂的简称是什么意思