Marina, ein häufig verwendeter Terminus