Wie viele Schüler gibt es in Berlin?