schälen, sehr fein würfeln und zur Ketchup-Mischung geben.