Riddle - What kind of pencils are these? [SOLVED]

[majkycz_y]

However, it looks like the manufacturer might be the same… maybe a rebranding (?)

So - it is STAEDTLER HI-TEC 925, distribuded by Staedtler Spain.