Wie viele Mönche gibt es noch in Deutschland?