Wie teuer war das HP ZBook15v FREEdos?