Nástrojové oceli : vlastnosti nástrojových ocelí a způsoby i zařízení k jejich tepelnému zpracování se zvláštním zřetelem k nástrojovým ocelím Poldiny huti