I have solved, by typing the following:
apt-get install virtualbox-5.1
and then
apt-get -f install