kraaij_pohlmann.sbl: Adjust trema after -ge/-ge- removal #133

Job	Run time
build (C distribution build, -O2 -Wall -W -std=c90 -Wdeclaration-after-statement -Werror)	29s
build (C distribution build (clang), -O2 -Wall -W -std=c90 -Wdeclaration-after-statement -Werror,...	22s
build (C, y, -O2 -Wall -W -std=c99 -Werror)	1m 18s
build (C (clang), y, -O2 -Wall -W -std=c99 -Werror, clang)	27s
build (java, java, javac, -Xlint:all -Werror)	54s
build (go_old, ubuntu-22.04, golang-1.13, go)	1m 16s
build (go_new, ubuntu-24.04, golang-1.22, go)	1m 27s
build (javascript_node, node, nodejs)	1m 53s
build (rust, rust, rustc)	1m 13s
build (csharp, mcs, mono-devel)	1m 29s
build (Pascal, fpc, fpc)	2m 24s
build (Python 3.8, 3.8, ubuntu-22.04, 1)	23m 26s
build (Python 3.10, python3.10, ubuntu-22.04, python3.10, 1)	17m 7s
build (Python 3.12, python3.12, ubuntu-24.04, python3.12, 1)	13m 51s
build (Python (pypy3), pypy3, pypy3)	4m 6s
build (Ada, gprbuild, gnat gprbuild)	1m 1s
build (Windows (C), windows-latest, y, sccache)	1m 7s
build (Windows (Go), windows-latest, go, mingw32-make, mingw-w64-ucrt-x86_64-go, sccache)	3m 22s
	1h 17m 12s

Provide feedback