update 12.3 -> 13.1 mit zypper... risikolos?