MiniTec protection systems: Safety for man and machinery