war högtidsafton ; Michaelidag inföll i morgon.