Discoveries by the Palomar–Leiden survey