The official naming citation was mentioned in `` The Names of the Minor Planets '' by Paul Herget in 1955 ( ) .
DET ADJ NOUN NOUN AUX VERB ADP `` DET PROPN ADP DET PROPN PROPN '' ADP PROPN PROPN ADP NUM ( ) .