"Matthiasem Ringmannem"@cs .