Urkunden Judo 65-1328
Execution time (seconds): ~2.256309