Ostrenie nástrojov - Vajgl, Josef (Dom techniky ČSVTS, 1985)