Vandaag precies negen jaar geleden: Pestende Pool doodgestoken (Eindhoven)