Cimrman a Hranická propast.