Ulf, you can ask whatever you might like. Every one is unique, so there's a range for everything. Also, how quickly you wish to sell factors in. In top condition, I think it would move quickly for $4K in the US, and maybe around $5K if you were willing to wait for someone to really get into it. To get top dollar, you almost need to find a nearby buyer who can see and plat the bass before committing to the purchase. Absolutely stock, a new one will be in the $7500 range at current list prices.
Of course, prices in Europe tend to be a bit higher than over here. You can look at what dealers in Europe would ask for the same used instrument and, usually, it's fair to ask about 90% of that number.