The Palomar-Leiden survey of faint minor planets - Conclusion