( borgerlig tid }.