Changed planes at Frankfurt in August.   Ate at a hotdog kiosk, it was the cheapest thing we could find.   If you wanted ketchup it was half a Euro extra.   It wasn't a high priced little packet either, kiosk had big bag full of ketchup hanging there and you squeezed what looked like cow's teat to get the ketchup out.   Probably used 2 cents worth.   Airport food is a ripoff.