benämningen » Höga porten»