Staten tapte søksmål mot IBM – må ut med en kvart milliard