Odešel významný český medievista - Šťastný, Vladislav