hvilado som på en allmän högtidsdag.