de förändringar i paviljongen , som blifva en följd häraf , har anslagits en summa af 10,000 kr.