Wie viele verschiedene Zigarettenmarken gibt es in Deutschland?