Recent activity by Vojta Jungmann