kronans publika hus i Stockholm må höjas med 12,000 kr.