Re: /bin/pwd und pwd (der bash) unterschiedlich