App zur Steuerung des mpv Mediaplayers auf einem Raspberry Pi über HTTP