Kantor Walikota Berlin, Rotes Rathaus