allmänt underhåll af marinen tillstyrkes 245.000 kr. , hvilket är 5000 kr.