[777] Schiffsarrest (Bordarrest), dem Kasernenarrest in der Armee entsprechende Strafe in der Marine.