Krankenversicherung – Vergütung von Krankenhausleistungen nach dem DRG-System – Messung der sachlich-rechnerischen Richtigkeit einer Krankenhausabrechnung unabhängig von hypothetischen Geschehensabläufen – Kürzung einer sachlich-rechnerisch richtigen Fallpauschale einer Krankenhausabrechnung bei unwirtschaftlicher Verweildauer