A diósgyőri Vár-tetői-barlang hosszmetszete (Tóth J. térképe, Gyenge L. 1963 nyomán)