Wow - just noticed that BOTH models of the GWX-8900 are shown on the German Casio homepage!
G-SHOCK - Uhren - Produkte - CASIO
The last GWX-release - the GWX-5600 never even came to Germany at all and AFAIK the black positive display version of the GWX-8900 has only been available in Japan so far. Pretty excited about that . Might also be a cheaper alternative to members from the US to get the GWX-8900-1, but I haven't seen the retail price yet. Gs are more expensive in Germany than in the US but I think they're still cheaper than in Japan.
edit: MSRP for the GWX-8900 in Germany is 149€. Already found both models on German ebay - now I'll wait till prices drop.