SMS versenden: Dirichlet forms and symmetric Markov processes