formalsten