1

$ dspiel80(1) 27.80

2

kaptainkaos(1) 7.10