"Jakub Rumpel"@cs .