In reference to Paul's question from the stream: Yes, "Gummisternchen" is a real word. It's German for "little gummy star". My best guess is that it's meant as a pun on "Gummibärchen" (little gummy bears).
I was honestly a little miffed that Paul hated that star name so much - I quite like it (and I don't even speak German). And, needless to say, it's a far cry from a star named "J10F798 Big Mamma" or something (which I would support massaging into something smoother)...
Maybe, it was partly because Paul was sick - Paul you sounded miserable - I hope you feel/get better soon...
cheers,