HalliPES 1.0 ja hallin jäykistys