Re: Wie finde ich $HOME?