Bergen tinghus pusses opp for 1 milliard