Text this: Government assistance in German export credit insurance.