bump KOMA-script to 3.12