Definition of MARINARIUS.