"branching Markov process" Deutsche bedeutung