Danke mal für die Tips, werde melden, ob's geklappt hat. Ist anscheinend doch nicht so einfach, wie ich mir gedacht habe.
Das das ganze mit einem WLAN-Router am einfachsten geht, ist schon klar, sowas hab sogar _ich_ bei mir zu Hause hingekriegt

Aber da mein Freund schon bei 100 € (für USB-Adapter und PCMCIA-Card) geschnauft hat, möchte ich ihm gar nicht erst die Lösung mit dem HW-Router vorschlagen (auch wenn die Preise momentan im Keller sind). Ein AP wäre wohl auch sinnvoll, aber auch den gibt's laut Geizhals nicht unter 130 €...
@LouCypher:
Wo und wie kann ich IP-Forwarding aktivieren?!?