Z:englobe-dpkg-man--a947d5-Print the real name for a dive/de

Zeige den echten Namen f�r eine umgelenkte Datei an.