How to get part of a string

See → here (especially point 3):