It is hard to measure the potential damage. Did we lose users/customers? We don't know. We certainly didn't gain German devs on board. Did we lose investors? We got ourselves a great investment ( $500K), but it may hurt future rounds. This is a "better be safe then sorry" decision in the end I think.