Thanks, so the only way to buy is through this seller (I've read it's a trusted guy), and directly from Korea. And it's 183 the top 32GB+GPS+Power Pack.
On the other hand sending to Germany, from my experience when I lived there, is faster (stuff won't get "lost"), but then later the bill will...