karel-def-10