1972 Rotterdam Indoors - Singles