för kronans publika hus i Stockholm må förökas med 10,400 rdr.