the telescope at university of leiden uses what operational platform?
(AND astronomy.telescope_platform (JOIN (R astronomy.telescope.operational_platform) (JOIN (R astronomy.astronomical_observatory.telescope_s) m.0lvng)))