der Siedepunkt hängt ja auch von der Marke und der Sorte ab, also ob normaler Ketchup, Curryketchup, Gewürzketchup, Nudelketchup, Chilliketchup, Schaschlikketchup, Ketchup ohne Zucker, Knoblauchketchup oder was auch immer