Title: HEKTOR user manual