(...)Thanks to all who ansered. For what it's worth I have decided to go with the Asus EeePC 901, which is available here for 235 Euro and would seem to be more than enough for my needs (especially since debian support seems to be excellent).
cheers Peter