9.000 kronor , som denne embetsman tipp bär af Stockholms kommun , så återstår ändock ettbelopp