viz provozní čas (operation time)machine timeČSN EN 14943