Wie viele Säugetierarten gibt es in Deutschland?