marinbudgeten 11 , 527 , 714 fl.