All my mkdir-  mv-  cp- and rm-attempts may have led to a pretty mess A boot-info output can be found here http://pasteubuntucom/12071453/  the results of a recommended repair (boot-repair) are here http://paste