Design Specifications for the Hanstholm WEPTOS Wave Energy Converter