JWB 2002/315:Pandrecht op software, uitleg van titel voor vestiging pandrecht, Haviltex-criterium, eis van voldoende bepaalbaarheid, medeschuldenaar, kredietovereenkomst