Speeding up tool development with the high-precision laser scanner LineScan from ZEISS