Sorry to put this out there, but that seems... quite high for a late 50s all hog Martin unless it's in absolutely immaculate condition.
I was recently on the hunt for wartime (early 40s) 0-17/00-17 and as least here in the states it wasn't super hard to find one in nice player grade, recently serviced condition for less than $3k, sometimes closer to $2k USD. Heck, just taking a quick look at Reverb I found a pretty nice '34 0-17 for only $3300 with one repaired crack, original finish (
https://reverb.com/item/27665799-1934-martin-0-17), which is about ~3k euro. That's a freakin' pre-war Martin for less...