Hoogholtje over de Pieterbuurstermaar