"Petersenspitze"@cs .