" , sistlidne mändag under stora högtidligheter ,som