Initials of [HaJo Gurt].