The Selberg trace formula for PSL (2, IR)