Bornkamp on Pronstorf map