Historically, good quality German made tools. Maybe not as well known as some of the other German makers, and personally I never thought they were quite as well finished, but very useable!
I have a feeling that their current offerings may not be German made, but the used ones you have found obviously are. If they’re in decent shape I’d grab those at 50 pence a go!