i don't know how much they paid and when, all i heard was that it was way overpriced... but take it FWIW i can't proof it...
real estate biz is pretty bad in germany the last years... you don't sell a house in germany nowadays if you don't have to... you won't get enough for it!