The intensity interferometer;: Its application to astronomy