Martinus — male given name