Kraut & Ruam

Kraut & Ruam (Extended Version)