magasinshuset å Skeppsholmen till kasern och 395,000 kr.