So how much was it? It would take time some time to look that up (find the story, find that part of the story...) when you know it anyway and can thus allow me to be lazy.