[29/01/2016] ... stellte Kollege Carsten fest, dass die Division auf seinem System unter gewissen Bedingungen nicht gar nicht erst starten lässt. Da es sich hier zweifellos um ein Problem des Betriebssystems handelt, haben wir den Bug bereits bei Microsoft gemeldet.