karel-def-3