Das ist die richtige Bude. Man kann übrigens den Ketchup dort auch zum Mitnehmen erwerben. Der ist echt klasse!