#0000
- Erweiterung um service.php, der kernel