For smooth schemes the category $MF$ (defined by Fontaine for DVR's) realises the "mysterious functor", and provides natural systems of coeffients for crystalline cohomology. We generalise it to schemes with semistable singularities. The new technical features consist mainly of different methods in commutative algebra
14F30