Palomar–Leiden survey