har det i Bergen tecknats inalles kr.