How many representatives are on the Senate of the legislative branch in Berlin