Smashed potatoes/ Ofengemüse

Von /

Kartoffeln, 20 min gekocht
Rosenkohl, 10 min gekocht

3 EL Ketchup
3 EL Öl
3 EL Sojasauce
Paprikapulver
Pfeffer