ibm thinkpad x31 | lenovo thinkpad x200 | wincor/nixdorf a45 | virtualbox