Dirichlet Forms And Symmetric Markov Processes by etc.