äro tillsammans taxeringswärderade till kr.