For Space Robot (and Astrowar), it appears that the Atarimania entry is combined and that there are different versions. I have found two different manuals which is probably the reason why they have a combined entry. A Dimax manual (text on back like the Atarimania scan) and a Sinmax manual, but on that site they only show a crop of it. This ebay listing has the one with the Sinmax manual:
https://www.ebay.co.uk/itm/374471068733Hot Shot Telespiele taken from the back of the box, where it has that company as being a division of Goliath.
