Wed, 10 Apr 2019 00:00:00 +0200
	Wies ausschaut, kann virtualbox weder in Version 5.x noch 6.x auf 4.4.0-14[3-9] Kerneln laufen. Problem ist ein
	  — im weitestens Sinne des Wortes — Treiber, der im post-install Skript kompiliert und dann
	  installiert wird (d.h. man kriegts normalerweise nicht mit). Der C-Code versucht die Funktion get_user_pages()
	  zu rufen, nimmt aber eine andere Anzahl Parameter als der 4.4 Kernel ab 143 vorschreibt.
	   https://askubuntu.com/questions/1126591/virtualbox-error-after-last-ubuntu-software-update
	  Loesung auf einem Sekretariats PC: 
	                   Per hand den 4.4-142 mit headern installiert, 
 	 		   in grub.cfg alle neueren Kernel entfernt,
			   reboot
			   virtualbox-5.1 neu installiert,
			   tut
	Man kann die Periode, in der FAUBox nachschaut, obs was zu synchen gibt, veraendern. Sollte das nicht
	  ueber die GUI gehen, dann gibts noch eine Zeile in 
		%AppData%\PowerFolder\*-Folder.config
	  die massenweise "true" enthaelt. Die nicht-0, nicht-1 Zahl da drin ist die Anzahl, das einzelne "m" oder "h"
	  gibt an, obs Minuten oder Stunden sind.
Aus der Tiefe
