riksmark , till hwilken summa staden Berlin skall bidraga ined 100 — 120 , 000 mark.