marin är betydligt mindre i materiel , fastän betydlig i personal ."