what astronomical discovery was done by simon marius
(AND astronomy.astronomical_discovery (JOIN astronomy.astronomical_discovery.discoverer m.01b6sb))