Возврат денег за недвижимость при признании сделки недействительной

ИП Разгуляев А.В. приобрел недвижимое имущество (мельницу) у ООО «Агроком» и затем продал ее третьему лицу. Впоследствии сделка между продавцом и покупателем была признана недействительной по иску продавца. При этом требования о применении последствий недействительности сделки заявлены не были. Покупатель, ИП Разгуляев А.В., обратился в суд с иском применении последствий недействительности сделки, полагая, что мельница стоит меньше, чем заплачено по договору (то есть с продавца должна была быть взыскана разница). Однако суд посчитал, что раз вещь (мельница) отсутствует в натуре у покупателя, а рыночная стоимость мельницы соответствует цене в сделке, признанной недействительной, то покупатель должен вернуть продавцу ту же сумму, что и продавец покупателю. Затем продавец, ООО «Агроком» подал виндикационный иск к конечному приобретателю мельницы и добился возврата вещи от третьего лица.