karel-ha documents