Marinus — male given name