BenGER: Benchmarking LLM Systems on Subsumption-Based Legal Reasoning in German Law | ArxivCSExplorer