Following pictures are third party:
=================================

BabyTuX.png             provided by  Roman BEIGELBECK <debian@aon.at>
BabyTuX_color.png       provided by  Roman BEIGELBECK <debian@aon.at>
Debian.png              provided by  Roman BEIGELBECK <debian@aon.at>
Debian_color.png        provided by  Roman BEIGELBECK <debian@aon.at>


(Converted to EPS by me using convert from Image Magick.)
