"TipsArena Linz"@cs .