ha varit 12 795 kr. , deraf statsanslag 8000 kr. , stadsfullmäktiges anslag 6000 kr.