from puerto de santa maría, spain or another city with puerto in the name - German English Dictionary