Ferja «Tresfjord» solgt til Tyskland