karel-def-6