martinus van diemen