För några dagar sedan fick man veta ,att