"extensometer," Deutsche bedeutung