. . . . "Discovery by the Palomar\u2013Leiden survey" .