Records de Jan Tomanec en compétitions européennes