Gestern beim Mittagessen ist mir mal wieder aufgefallen: Die lokale Kantine lässt sich etwas Ketchup mit 40 Cent geradezu fürstlich vergüten. Senf ist hingegen kostenlos, was zwar auch nicht ganz unüblich ist, aber den Preis für Ketchup doch erst recht unangemessen hoch erscheinen lässt und mich als Senf-Verweigerer auch wenig tröstet. Kann man eigentlich als Endverbraucher irgendwo diese Einzelportionen Ketchup kaufen?