Wie hoch war 2012 der Anteil der Nutzer in Deutschland?