Aus der Tipps-Box: Spielzeiten für Videospiele, Reparieren einer Computermaus und minimalistische Android-Timer