gnochi (i don't think i spelled that right)

I got this pasta from the German grocery store, and I'm not fluent in German (actually, i know like 10 words) so i wasn't sure about how to cook them. obviously, since they're like a pasta, i boiled them, but i don't know for how long i was supposed to boil them for... i don't know if they're cooked all of the way... help!