adapted parsing of session timing (cf. e86b10c68f0b)
adapted parsing of session timing (cf. e86b10c68f0b)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle