What is at the border with the neighbor? Just pavement or something similar? I say 3500€ and a week of hard work and the deal is done. Mini excavator costs 120€ per day, dig for one day, then let it dry. Then if it's already open, definitely insulate the wall! Material is cheap. Then put in drainage and cover it up. Make a deal with the neighbor, even if he would have to tolerate the work anyway. If water is pressing from below, however, that's a different story.