"extensiometer" Deutsche bedeutung