“A specific family of underwater unmanned vehicle systems mentioned by Sauer.”