Ruhen, Carl.