karel-def-7