Dieses Knödelgratin mit Spitzkohl ist ein herzhaftes Familienessen für die ersten kühleren Herbsttage.