togs konungen af den 86-årige arkimandriten Anton ispetsen