Germany pumps in millions to keep Asian-owned shipbuilder afloat