מספר עובדים של Euro Tech Holdings Company Limited.