kostnaderna för marinen öfverstiga knappast 103 millioner.