roque de los muchachos observatory houses which telescope?
(AND astronomy.telescope (JOIN astronomy.telescope.housed_in m.0582v4))