Anyway, prague time and then nijmegen time