Wie viele Vegetarier hat Deutschland?