Reported sold for $2,370 at dnjournal , seems to be german, i have seen some .info german sales in the past. They may be the only country that doesn't hate this extension
The .info market has crashed and burned, recent prices are a small fraction of what they were. The mid 5 figure names are now mid 4 figure names and the lower end has done far worse I think.
No idea with this particular sale, weird sounding sales happen all the time.