Any reason why he doesn't want to buy them in Austria?
Edit: These lenses are readily available in Austria. I've purchased a 20 f/1.7, 45 f/1.8, 40-150 and a 15 f/8 in Austria (Vienna, to be exact). Many of the lenses are available at major electronics retailers like Saturn or Media Markt. Some will be available at larger Niedermeyer or Hartlauer stores (sorta like Radio Shack). For the better deals, your friend should look at geizhals.at - that's probably where your friend will find the lowest prices on new m43 lenses.
I have also seen a black 12mm, a 75mm and several other m43 lenses in shops here - they're reasonably easy to find. Last tip - even though the lenses are probably available at larger chain stores, I recommend that your friend try to find a local, smaller camera shop to purchase from. They'll often go down on their prices for regular customers, in order to get close to cheap online deals, and I like to buy from local operators, when possible.
tex