Domstolen i vest legges til Farsund