That's a wrap definition. Extensiometer. Familie von galen. Schleifmaschine für bohrer.