bailout funds worth 7.2 billion euro (£5.2 billion)