Robert Koch, Boulder, 7A at Hålahult