"four-color problem" Deutsche bedeutung