Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany