After yesterday's latest updates and after booting today, everything works as normal, no more crashes - so this report can probably be closed as unreproducible if no-one else experiences something similar. Thanks Rainer