To follow up my post from a few pages ago, finally my withdrawal was processed and went through. Unfortunately for me the USD lost almost 3% against the Euro in the meantime. However, after the lengthy KYC procedure went through, the withdrawal/transfer took as little time as usual. One day to change from "in process" to "finished", another day to appear on my balance statement. So generally, bitstamp appears to work.