Wie viele Menschen in Deutschland sind Divers?