Un nome nuovo per la porta del Milan: Krul