Revert "karel"

This reverts commit 986bba1d9f6020a12c308d8798d5ad9e02fde787.