Porthos nog altijd een herkenningspunt in Eindhoven