Dirichlet forms, von Neumann algebras, standard forms, Markovian semigroups, quantum spin systems